DUGi: Llistar Títols | (dc.creator:"Suy Franch, Josep" OR dc.contributor:"Suy Franch, Josep" OR dc.contributor.other:"Suy Franch, Josep") | 25 - 33

Llistar Títols

S'han trobat 33 ítems

Llistant ítems des de 25 a 33:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	juny 2003	Traductor de pseudocodi a Java	Royán Salvatella, Carles
		Traductor de pseudocodi a Java	Royán Salvatella, Carles
	setembre 2024	Tuning a generative language model for the creation of customized chatbots for Public administrations	Mas Fullana, Martí

1 2

Matèries

Application software Logic, Symbolic and mathematical Project management--Computer programs Satisfactibilidad módulo teorias metarestricciones Recuperació de la informació Restricciones pseudo-booleanas

Autors

Ansótegui, Carlos García Campos, Rafael Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Moreno Oliveras, David Royán Salvatella, Carles Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Martí Boix, David